#ifndef LECTEURPHRASEAVECTABLE_H_
#define LECTEURPHRASEAVECTABLE_H_

#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include <string>
using namespace std;

class LecteurPhraseAvecTable {
public:
	LecteurPhraseAvecTable(string nomFich);	// Construit un lecteur de phrase pour vérifier
	                                        // la syntaxe du programme dans le fichier nomFich

	void analyse();   // Si le contenu du fichier est conforme à la grammaire,
	                  //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                          //   la table des symboles (ts) aura été construite
	                  // Sinon, le programme sera interrompu (exit).
	inline TableSymboles getTs ()   { return ts; } // accesseur

private:
    LecteurSymbole ls;  // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;  // la table des symboles valués

    // implémentation de la grammaire
    void programme();           //  <programme>         ::= debut <seqInst> fin <EOF>
    void seqInst();             //  <seq_ins>           ::= <inst> ; { <inst> ; }
    void inst();                //  <inst>              ::= <affectation> | <instSi> | <instTq> | <instRepeter> | <instLire> | <instEcrire>
    void affectation();         //  <affectation>       ::= <variable> = <expression>
    void expression();          //  <expression>        ::= <terme> { <opAdd> <terme> }
    void facteur();             //  <facteur>           ::= <entier>  |  <variable>  |  - <facteur>  |  ( <expression> )0
    void opAdd();               //  <opBinaire>         ::= + | - 
    void opMult();              //  <opBinaire>         ::= *  | /
    void terme();               //  <terme>             ::= <facteur> { <opMult> facteur> }
    void expBool();             //  <expBool>           ::= <relationTmp> { <opOu> <relationTmp> }
    void opEt();                //  <opBool>            ::= et 
    void opOu();                //  <opBool>            ::= ou
    void relationTmp();         //  <relationTmp>       ::= <relation> { <opEt> <relation> }
    void relation();            //  <relation>          ::= <expression> { <opRel> <expression> }
    void opRel();               //  <opRel>             ::= == | != | < | <= | > | >=
    void opUnaire();            //  <opUnaire>          ::= - | non
    void instSi();              //  <instSi>            ::= si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> } [ sinon <seqInst> ] finsi
    void instTq();              //  <instTq>            ::= tantque ( <expBool> ) <seqInst> fintantque
    void instRepeter();         //  <instRepeter>       ::= repeter <seqInst> jusqua ( <expBool> )
    void instLire();            //  <instLire>          ::= lire ( <variable> ) 
    void instEcrire();          //  <instEcrire>        ::= ecrire ( <expression> | <chaine> )
    void incrementation();      //  <incrementation>    ::= <Variable> ++|--
    void instPour();            //  <instPour>          ::= pour ( <variable> ; <relation> ; <incrementation> ) <seqInst> finpour
    
    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECTABLE_H_ */